Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Wedge Antilles — Star Wars character name = Wedge Antilles caption = color = green source = position = X wing pilot, Rogue Squadron commander, Wraith Squadron commander, New Republic general (former), Supreme Commander of Corellia s armed forces (former) species … Wikipedia
Keilkonstante — pleišto konstanta statusas T sritis fizika atitikmenys: angl. wedge constant vok. Keilkonstante, f rus. постоянная клина, f pranc. constante du coin, f … Fizikos terminų žodynas
constante du coin — pleišto konstanta statusas T sritis fizika atitikmenys: angl. wedge constant vok. Keilkonstante, f rus. постоянная клина, f pranc. constante du coin, f … Fizikos terminų žodynas
pleišto konstanta — statusas T sritis fizika atitikmenys: angl. wedge constant vok. Keilkonstante, f rus. постоянная клина, f pranc. constante du coin, f … Fizikos terminų žodynas
постоянная клина — pleišto konstanta statusas T sritis fizika atitikmenys: angl. wedge constant vok. Keilkonstante, f rus. постоянная клина, f pranc. constante du coin, f … Fizikos terminų žodynas
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Maxwell's equations — For thermodynamic relations, see Maxwell relations. Electromagnetism … Wikipedia
Vecteur de Runge-Lenz — Dans cet article les vecteurs et leurs normes sont indiqués respectivement en gras et italique. Par exemple : . En mécanique classique, le vecteur de Runge Lenz ou invariant de Runge Lenz est un vecteur utilisé principalement pour décrire la … Wikipédia en Français
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
